Semantic Dictionary Encoding
falvotech.comยท2hยท
Discuss: Hacker News
๐Ÿ—‚๏ธType Indexing
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.comยท4hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.toยท3hยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.comยท2hยท
๐Ÿ”ฎLisp Interpreters
A (Nearly) Branchless RESP Request Parser
kevinmontrose.comยท5h
๐Ÿ”งError Recovery
Show HN: Semlib โ€“ Semantic Data Processing
github.comยท3hยท
Discuss: Hacker News
๐Ÿ”ML Language
Algebraic Types are not Scary
blog.aiono.devยท6hยท
โœ…Type Checking
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท8h
๐ŸชขRope Data Structures
Introducing the Constexpr Debugger
blog.jetbrains.comยท9hยท
๐Ÿ”Debugging Compilers
Fil's C Compiler
fil-c.orgยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธLLVM
The pirate-based logic of Rust shared references
ais523.me.ukยท23hยท
๐Ÿ”’Rust Borrowing
Balance between refactoring and inheritance in your code
github.comยท5hยท
Discuss: Hacker News
๐ŸงชCompiler Testing
Choosing Rust for LLM-generated code
runmat.orgยท2dยท
Discuss: Hacker News
๐Ÿš‚Cranelift IR
Python Multiprocessing: Start Methods, Pools, and Communication
dev.toยท12hยท
Discuss: DEV
๐Ÿ”—Concurrency Primitives
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.chยท21hยท
Discuss: Hacker News
โšกfunctional programming
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท19hยท
๐ŸงฉConstraint Solvers
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.toยท4hยท
Discuss: DEV
๐ŸงฎTheorem Provers
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.comยท55m
๐Ÿ—บ๏ธRegion Inference
beginner seeking help to understand HTTP requests in C
reddit.comยท4hยท
๐ŸŒ‰Language Bindings
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.comยท10hยท
๐Ÿ“šStack Data Structures